机译:微分代数程序的微分代数动态逻辑
机译:拉格朗日动力系统程序运动的微分代数方程
机译:线性规划的微分代数方法
机译:基于差分代数颞型动态逻辑的网络物理系统验证
机译:微生物电解差分 - 代数方程模型的动态系统分析和数据驱动模型选择
机译:Maple中微分-代数方程组的初值问题
机译:无奇怪的延迟差分 - 代数和中性类型系统之间的联系* *比利时联邦科学政策办公室的环境景点波兰人计划的支持,由Ku Leuven工程中心Optec的优化,研究基金会的优化支持-Clanders,由项目Ucocos由欧洲工会资助的Marie Sklodowska-Curie Grant协议中的研究和创新计划提供资金No.675080.Alexey Egorov致谢Saint-Petersburg州立大学的研究资助9.42.1396.2015。